<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
</head>
<body bgcolor="white">
The built-in JUMP "plug-ins" (code modules that can be assigned to
buttons and menu items).

@see com.vividsolutions.jump.workbench.plugin
</body>
</html>
